Repository navigation
docs: require PLAN currency checks in reviews - #1588
Conversation
No-Test: documentation of a review rule
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 23f24d3665
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| changes invalidate the affected evidence, so review the delta again. A finding | ||
| without `file:line` counts as unproven. | ||
|
|
||
| Every review checks `docs/PLAN.md` at the head: the PR's own row (identified by `Plan-ID:`) states what is true after merge, and changes in the PR leave no other row, the user section or decision inbox stale; cross-check against `gh`. A mismatch is a medium finding, or high if the user section asks for something already done, and must be fixed in the same PR before `review-ok` (user order 2026-10-15: the plan must never be stale). |
There was a problem hiding this comment.
Ergänze dieses Paket im kanonischen Plan
Am geprüften Head enthält docs/PLAN.md keine Zeile für die im Commit-Bericht genannte Plan-ID: AGENTS-PLAN-REVIEW; der Bericht verschiebt diesen Eintrag ausdrücklich auf einen späteren Sync. Damit verletzt bereits dieser PR die neu eingeführte Pflicht, den eigenen Planeintrag im selben PR aktuell zu halten, und review-ok dürfte nach dieser Regel nicht vergeben werden. Ergänze den Eintrag in diesem Paket, statt ihn zu vertagen.
AGENTS.md reference: AGENTS.md:L121-L121
Useful? React with 👍 / 👎.
| changes invalidate the affected evidence, so review the delta again. A finding | ||
| without `file:line` counts as unproven. | ||
|
|
||
| Every review checks `docs/PLAN.md` at the head: the PR's own row (identified by `Plan-ID:`) states what is true after merge, and changes in the PR leave no other row, the user section or decision inbox stale; cross-check against `gh`. A mismatch is a medium finding, or high if the user section asks for something already done, and must be fixed in the same PR before `review-ok` (user order 2026-10-15: the plan must never be stale). |
There was a problem hiding this comment.
Füge die Plan-ID in die PR-Vorlage ein
Wenn ein Autor die kanonische .github/pull_request_template.md verwendet, enthält der erzeugte Bericht nur **Package:** <ID from docs/PLAN.md> und keine eigenständige Plan-ID:-Zeile. Die neue Regel verlangt jedoch genau diesen Marker zur Identifikation des eigenen Planeintrags, und die vorhandenen PLAN-Auswerter erkennen im PR-Text ebenfalls nur Zeilen im Format Plan-ID: (scripts/lib/plan-model.mjs:102, scripts/lib/roadmap-data.mjs:26). Ohne gleichzeitige Anpassung der Vorlage erfüllen regulär erstellte PR-Berichte die neue Konvention nicht zuverlässig.
AGENTS.md reference: AGENTS.md:L283-L284
Useful? React with 👍 / 👎.
|
Root: |
|
Root auto-queue: head 23f24d3 unchanged since review-ok, all checks green. @Mergifyio queue |
|
Root: |
Merge Queue Status
This pull request spent 4 minutes 15 seconds in the queue, with no time running CI. ReasonPull request #1588 has been dequeued Queue conditions are not satisfied:
HintYou should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it. Waiting for
All conditions
Requeued — the merge queue status continues in this comment ↓. |
No-Test: documentation-only review follow-up
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: aecad6d15b
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| | ID | Ziel | Abhängigkeit | Status | | ||
| |---|---|---|---| | ||
| | PLAN-AUTO-1 | PLAN-Modell + `npm run plan:check` (Befunde: PR ohne Planzeile, Status widerspricht GitHub, unbekannte Abhängigkeit, Job ohne Zeile, Entscheidung ohne Zeile, Plan veraltet) | – | läuft: Draft-PR #1564, 15.10. (`gh pr list --search "PLAN-AUTO-1"`) | | ||
| | AGENTS-PLAN-REVIEW | Reviews prüfen PLAN-Aktualität (eigene Zeile über Plan-ID, Nutzerbereich, Entscheidungs-Eingang gegen gh) | Root | Erledigt mit Merge von PR #1588 | |
There was a problem hiding this comment.
Korrigiere Root als vermeintliche Abhängigkeit
In dieser vier Spalten umfassenden Tabelle ist das dritte Feld Abhängigkeit, nicht Owner; dadurch behauptet der kanonische Plan nach dem Merge, dass das Paket von einer Person namens Root abhängt, obwohl keine Paketabhängigkeit besteht. Ersetze den Wert durch – oder ergänze eine echte Owner-Spalte, damit die eigene Planzeile den Zustand korrekt beschreibt.
AGENTS.md reference: AGENTS.md:L121-L121
Useful? React with 👍 / 👎.
| | ID | Ziel | Abhängigkeit | Status | | ||
| |---|---|---|---| | ||
| | PLAN-AUTO-1 | PLAN-Modell + `npm run plan:check` (Befunde: PR ohne Planzeile, Status widerspricht GitHub, unbekannte Abhängigkeit, Job ohne Zeile, Entscheidung ohne Zeile, Plan veraltet) | – | läuft: Draft-PR #1564, 15.10. (`gh pr list --search "PLAN-AUTO-1"`) | | ||
| | AGENTS-PLAN-REVIEW | Reviews prüfen PLAN-Aktualität (eigene Zeile über Plan-ID, Nutzerbereich, Entscheidungs-Eingang gegen gh) | Root | Erledigt mit Merge von PR #1588 | |
There was a problem hiding this comment.
Vermeide einen Done-Status vor dem Merge
Solange PR #1588 offen ist, normalisiert normalizeStatus() den führenden Text Erledigt als done; checkPlan() meldet für diese mit #1588 verknüpfte Zeile deshalb status-contradicts-github (done / GitHub OPEN). Damit erzeugt der neu vorgeschriebene Abgleich am Review-Head selbst einen Befund und verhindert nach der neuen Regel review-ok; erfasse den aktuellen Zustand als In Prüfung oder lehre den Prüfer, die Formulierung als bedingten Nach-Merge-Status zu behandeln.
AGENTS.md reference: AGENTS.md:L121-L121
Useful? React with 👍 / 👎.
| changes invalidate the affected evidence, so review the delta again. A finding | ||
| without `file:line` counts as unproven. | ||
|
|
||
| Every review checks `docs/PLAN.md` at the head: the PR's own row (identified by `Plan-ID:`) states what is true after merge, and changes in the PR leave no other row, the user section or decision inbox stale; cross-check against `gh`. A mismatch is a medium finding, or high if the user section asks for something already done, and must be fixed in the same PR before `review-ok` (user order 2026-10-15: the plan must never be stale). |
There was a problem hiding this comment.
Beschränke die eigene Planzeile auf Paket-PRs
Bei Dependabot- und anderen Nicht-Paket-PRs existiert absichtlich keine eigene Plan-ID:-Zeile: checkPlan() fordert sie nur für Anbieter-Paketbranches, und PLAN-AUTO-2 beschreibt ebenfalls nur Paket-PRs. Die Formulierung „Every review“ macht das Fehlen nun trotzdem zu einem vor review-ok zu behebenden Mismatch; weil kein Branchtyp von review-ok ausgenommen ist, lassen sich solche Wartungs-PRs regelkonform nicht mehr einreihen. Beschränke daher nur die Own-row-Klausel auf Paket-PRs, während die allgemeine Aktualitätsprüfung für alle Reviews gelten kann.
AGENTS.md reference: AGENTS.md:L352-L361
Useful? React with 👍 / 👎.
|
Root: |
|
Root auto-queue: head aecad6d unchanged since review-ok, all checks green. @Mergifyio queue |
Merge Queue Status
This pull request spent 14 minutes 18 seconds in the queue, including 13 minutes 35 seconds running CI. Required conditions to merge
|
Die Review-Hinweise zu PR #1588 sind umgesetzt: der Plan enthält jetzt die Paketzeile, und die beiden Dokumentationsdetails sind korrigiert. Damit ist die PLAN-Aktualitätsprüfung samt Paket-ID auch im PR-Template verankert. Du musst nichts weiter entscheiden.
Report
Plan-ID: AGENTS-PLAN-REVIEW
What changed
AGENTS-PLAN-REVIEWrow todocs/PLAN.mdwith the requested goal, owner, and merged status.AGENTS.md(whitespace only).Plan-ID: <PLAN-ID>directly below## Reportin the PR template.Review disposition
aecad6d15b80e70b7352127de434a56fe5b90493.aecad6d15b80e70b7352127de434a56fe5b90493.aecad6d15b80e70b7352127de434a56fe5b90493.Evidence
npm run dev:agent-checkbash scripts/ci/gates.sh lane prepushbash scripts/ci/secret-scan.shgrep -n AGENTS-PLAN-REVIEW docs/PLAN.mdgit ls-remote origin codex/agents-plan-reviewaecad6d15b80e70b7352127de434a56fe5b90493NICHT ABGEDECKT
#[cfg(windows)]tests or Windows clippy arms. The Windows verdict remains for the merge queue.Review
Review: ausstehend (Stufe C).